Books by author Rolf Drechsler

Showing 1 – 20 out of 68 results

1. 

   Enhanced Virtual Prototyping for Heterogeneous Systems

   Muhammad Hassan, Daniel Große, Rolf Drechsler | Springer, Berlin, 2023

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   80.85 €

   Sale 9 %

   You save 8.73 €

   Buy
2. 

   Enhanced Virtual Prototyping for Heterogeneous Systems

   Muhammad Hassan, Daniel Große, Rolf Drechsler | Springer, Berlin, 2022

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   111.08 €

   Sale 9 %

   You save 11.99 €

   Buy
3. 

   Automatisierte Analyse von virtuellen Prototypen auf der Ebene elektronischer Systeme

   Mehran Goli, Rolf Drechsler | Springer, Berlin, 2024

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: German

   Binding: Hardback

   106.11 €

   Sale 4 %

   You save 5.48 €

   Buy
4. 

   Verbessertes virtuelles Prototyping

   Vladimir Herdt, Daniel Große, Rolf Drechsler | Springer, Berlin, 2023

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: German

   Binding: Hardback

   85.01 €

   Sale 6 %

   You save 6.29 €

   Buy
5. 

   Design für Testbarkeit, Fehlersuche und Zuverlässigkeit

   Sebastian Huhn, Rolf Drechsler | Springer, Berlin, 2024

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: German

   Binding: Hardback

   106.11 €

   Sale 4 %

   You save 5.48 €

   Buy
6. 

   Formal Verification of Structurally Complex Multipliers

   Alireza Mahzoon, Daniel Große, Rolf Drechsler | Springer, Berlin, 2024

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   92.92 €

   Sale 7 %

   You save 7.81 €

   Buy
7. 

   Automatic Methods for the Refinement of System Models

   Julia Seiter, Robert Wille, Rolf Drechsler | Springer International Publishing AG, 2016

   
   

   In stock at our supplier - Shipping in 5 - 8 days

   Language: English

   Binding: Paperback

   51.83 €

   Sale 7 %

   You save 4.29 €

   Buy
8. 

   High Quality Test Pattern Generation and Boolean Satisfiability

   Stephan Eggersglüß, Rolf Drechsler | Springer-Verlag New York Inc., 2011

   
   

   In stock at our supplier - Shipping in 10 - 13 days

   Language: English

   Binding: Hardback

   101.04 €

   Sale 9 %

   You save 10.88 €

   Buy
9. 

   Advanced BDD Optimization

   Rudiger Ebendt, Görschwin Fey, Rolf Drechsler | Springer-Verlag New York Inc., 2010

   
   

   In stock at our supplier - Shipping in 10 - 18 days

   Language: English

   Binding: Paperback

   147.40 €

   Sale 0 %

   You save 0.04 €

   Buy
10. 

    Test Pattern Generation using Boolean Proof Engines

    Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Daniel Tille | Springer, 2009

    
    

    Low in stock at our supplier - Shipping in 13 - 18 days

    Language: English

    Binding: Hardback

    109.76 €

    Buy
11. 

    Advanced Boolean Techniques

    Rolf Drechsler, Sebastian Huhn | Springer, Berlin, 2023

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    113.61 €

    Sale 7 %

    You save 9.45 €

    Buy
12. 

    Erweiterte virtuelle Prototypen für heterogene Systeme

    Muhammad Hassan, Daniel Große, Rolf Drechsler | Springer, Berlin, 2024

    
    

    50/50 - We search the world

    Language: German

    Binding: Hardback

    80.34 €

    Sale 6 %

    You save 5.88 €

    Buy
13. 

    Binary Decision Diagrams

    Rolf Drechsler, Bernd Becker | Springer-Verlag New York Inc., 2010

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    154.80 €

    Sale 7 %

    You save 12.91 €

    Buy
14. 

    Advanced Formal Verification

    Rolf Drechsler | Springer-Verlag New York Inc., 2010

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    103.27 €

    Sale 7 %

    You save 8.65 €

    Buy
15. 

    Formal Verification of Circuits

    Rolf Drechsler | Springer, Berlin, 2000

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    154.80 €

    Sale 7 %

    You save 12.91 €

    Buy
16. 

    Languages, Design Methods, and Tools for Electronic System Design

    Rolf Drechsler, Robert Wille | Springer International Publishing AG, 2016

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    51.83 €

    Sale 7 %

    You save 4.29 €

    Buy
17. 

    Evolutionary Algorithms for VLSI CAD

    Rolf Drechsler | Springer, Berlin, 1998

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    103.27 €

    Sale 7 %

    You save 8.65 €

    Buy
18. 

    Formal System Verification

    Rolf Drechsler | Springer International Publishing AG, 2018

    
    

    In stock at our supplier - Shipping in 5 - 8 days

    Language: English

    Binding: Paperback

    123.86 €

    Sale 7 %

    You save 10.36 €

    Buy
19. 

    Reversible and Quantum Circuits

    Nabila Abdessaied, Rolf Drechsler | Springer International Publishing AG, 2016

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    51.83 €

    Sale 7 %

    You save 4.29 €

    Buy
20. 

    Binary Decision Diagrams

    Rolf Drechsler, Bernd Becker | Springer, 1998

    
    

    In stock at our supplier - Shipping in 10 - 13 days

    Language: English

    Binding: Hardback

    154.80 €

    Sale 7 %

    You save 12.91 €

    Buy

Free shipping for orders over 59.99 €. Find out more